Combining Texts

All the ideas for 'Matter and Memory', 'Causal Explanation' and 'First-Order Logic'

expand these ideas     |    start again     |     specify just one area for these texts

22 ideas

3. Truth / A. Truth Problems / 6. Verisimilitude
15557 Verisimilitude has proved hard to analyse, and seems to have several components [Lewis]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
10282 Logic is the study of sound argument, or of certain artificial languages (or applying the latter to the former) [Hodges,W]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
10283 A formula needs an 'interpretation' of its constants, and a 'valuation' of its variables [Hodges,W]
10284 There are three different standard presentations of semantics [Hodges,W]
10285 I |= φ means that the formula φ is true in the interpretation I [Hodges,W]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
10289 Up Löwenheim-Skolem: if infinite models, then arbitrarily large models [Hodges,W]
10288 Down Löwenheim-Skolem: if a countable language has a consistent theory, that has a countable model [Hodges,W]
5. Theory of Logic / K. Features of Logics / 6. Compactness
10287 If a first-order theory entails a sentence, there is a finite subset of the theory which entails it [Hodges,W]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
10286 A 'set' is a mathematically well-behaved class [Hodges,W]
7. Existence / A. Nature of Existence / 3. Being / c. Becoming
21846 Bergson was a rallying point, because he emphasised becomings and multiplicities [Bergson, by Deleuze]
8. Modes of Existence / C. Powers and Dispositions / 3. Powers as Derived
15554 A disposition needs a causal basis, a property in a certain causal role. Could the disposition be the property? [Lewis]
10. Modality / B. Possibility / 7. Chance
15560 We can explain a chance event, but can never show why some other outcome did not occur [Lewis]
12. Knowledge Sources / E. Direct Knowledge / 4. Memory
21854 Bergson showed that memory is not after the event, but coexists with it [Bergson, by Deleuze]
14. Science / D. Explanation / 1. Explanation / b. Aims of explanation
15559 Does a good explanation produce understanding? That claim is just empty [Lewis]
14. Science / D. Explanation / 2. Types of Explanation / e. Lawlike explanations
15556 Science may well pursue generalised explanation, rather than laws [Lewis]
14. Science / D. Explanation / 2. Types of Explanation / f. Necessity in explanations
15558 A good explanation is supposed to show that the event had to happen [Lewis]
14. Science / D. Explanation / 2. Types of Explanation / g. Causal explanations
4809 Lewis endorses the thesis that all explanation of singular events is causal explanation [Lewis, by Psillos]
14321 To explain an event is to provide some information about its causal history [Lewis]
26. Natural Theory / C. Causation / 2. Types of cause
15555 Explaining match lighting in general is like explaining one lighting of a match [Lewis]
26. Natural Theory / C. Causation / 8. Particular Causation / d. Selecting the cause
15552 We only pick 'the' cause for the purposes of some particular enquiry. [Lewis]
15551 Ways of carving causes may be natural, but never 'right' [Lewis]
26. Natural Theory / C. Causation / 9. General Causation / c. Counterfactual causation
15553 Causal dependence is counterfactual dependence between events [Lewis]